School of Computer Science

Results: 3584



#Item
531Computer network security / CyberCIEGE / Virtual private network / Transport Layer Security / Computer network / Computer security / Server

Active Learning with the CyberCIEGE Video Game Michael F. Thompson and Dr. Cynthia E. Irvine Department of Computer Science Naval Postgraduate School

Add to Reading List

Source URL: static.usenix.org

Language: English - Date: 2011-08-23 12:26:27
532Machine learning / Formal sciences / Evolution / Evolutionary computation / Computer science / Pattern recognition / IEEE Transactions on Evolutionary Computation / Statistical classification / Feature extraction / Book:Machine Learning  The Complete Guide / Outline of evolution

Special Session on Evolutionary Machine Learning for Image Analysis and Pattern Recognition Organisers:  Muhammad Iqbal School of Engineering and Computer Science, Victoria University of Wellington, New Zealand. Email

Add to Reading List

Source URL: www.ies-2016.org

Language: English - Date: 2016-05-19 03:43:44
533Operations research / Compiler construction / Formal languages / Machine learning / Dependency grammar / Natural language parsing / LL parser / Integer programming / Parsing / Linear programming / Context-free grammar / Conditional random field

Concise Integer Linear Programming Formulations for Dependency Parsing ∗ Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA

Add to Reading List

Source URL: homes.cs.washington.edu

Language: English - Date: 2015-07-30 17:51:06
534Semantic Web / Knowledge representation / Information science / School of Computer Science /  University of Manchester / Resource Description Framework / Simple Knowledge Organization System / RDF Schema / Ontology / Web Ontology Language / Knowledge organization system / Thesaurus / Vocabulary

The current state of SKOS vocabularies on the Web Nor Azlinayati Abdul Manaf1,2 , Sean Bechhofer1 , and Robert Stevens1 1 School of Computer Science, The University of Manchester, United Kingdom

Add to Reading List

Source URL: 2012.eswc-conferences.org

Language: English - Date: 2012-07-23 09:47:39
535Computer network security / Deep packet inspection / Net neutrality / Networking hardware / Internet in China / Middlebox / Dots per inch / Network intelligence / Packet processing / DPI / Software-defined networking

Deep Packet Inspection as a Service Anat Bremler-Barr Yotam Harchol School of Computer Science

Add to Reading List

Source URL: conferences2.sigcomm.org

Language: English - Date: 2014-12-01 16:57:13
536SQL / Query languages / Select / Data definition language / From / Where / Alias / PL/SQL / Null

Generating Highly Customizable SQL Parsers Sagar Sunkle, Martin Kuhlemann, Norbert Siegmund, ¨ Marko Rosenmuller, Gunter Saake School of Computer Science

Add to Reading List

Source URL: wwwiti.cs.uni-magdeburg.de

Language: English - Date: 2010-05-14 10:48:25
537Cross-platform software / Stack Exchange network / JavaScript libraries / Gamification / Stack Overflow / Ajax / JavaScript / ASP.NET / JQuery / Stack Exchange / Django / Modelviewcontroller

Mining Technology Landscape from Stack Overflow Chunyang Chen Zhenchang Xing School of Computer Science and Engineering

Add to Reading List

Source URL: ccywch.github.io

Language: English - Date: 2016-08-07 09:43:02
538Automated theorem proving / Logic in computer science / Constraint programming / Logic programming / Rules of inference / Resolution / Boolean satisfiability problem / Clause / Small clause / Reasoning system / English relative clauses / Unit propagation

System Description: iProver – An Instantiation-Based Theorem Prover for First-Order Logic Konstantin Korovin? The University of Manchester School of Computer Science

Add to Reading List

Source URL: www.cs.man.ac.uk

Language: English - Date: 2008-10-30 19:06:51
539Cognitive modeling / Cognitive science / Scientific modeling / Thought / Cognitive psychology / Mental model / Diagram / Cognitive model / Mental representation / Object Process Methodology / Solid modeling / Distributed cognition

Int. J. Human – Computer Studies , 185 – 213 External cognition: how do graphical representations work? MIKE SCAIFE AND YVONNE ROGERS School of Cognitiy e and Computing Sciences , Uniy ersity of Sussex ,

Add to Reading List

Source URL: mcs.open.ac.uk

Language: English - Date: 2006-10-27 04:13:40
540Belief propagation / Coding theory / Probability theory / Combinatory logic

Turbo Parsers: Dependency Parsing by Approximate Variational Inference Andr´e F. T. Martins∗† Noah A. Smith∗ Eric P. Xing∗ ∗ School of Computer Science Carnegie Mellon University Pittsburgh, PA 15213, USA

Add to Reading List

Source URL: users.isr.ist.utl.pt

Language: English - Date: 2010-09-01 07:58:08
UPDATE